Closing the Gap Between Formal and Digital Libraries of Mathematics
نویسندگان
چکیده
The representational gap between formal mathematics and most users of digital mathematics resources is a challenge for any approach to mathematical knowledge management which aims to combine the benefits of formal and informal mathematics. In this chapter we study this gap in the context of a digital library of mathematics based on the Mizar Mathematical Library and make recommendations for improving such formal systems support for MKM.
منابع مشابه
Proposed content framework for digital literacy education to users in Iran
Aim: today, digital literacy, as a set of skills that enable people to use digital space effectively for success in personal, educational and professional life, has become a necessity in all societies and public libraries are one of the most important providers of digital literacy education in the world. Digital literacy education has not been considered in public libraries in Iran. The first s...
متن کاملبررسی نوع نگرش به شکاف دیجیتالی در بین دانشجویان و رابطه آن با پیشرفت تحصیلی و وضعیت اقتصادی - اجتماعی
Introduction: Digital gap may exist in national scale, among organizations and other groups of society, since it is an indicative of inequality in information technology ground and communication. This study aims to investigate the attitude towards digital gap among students, and its relationship with educational progress and socio-economic status (SES) of university students at Alborz Uni...
متن کاملA symbol-based fuzzy decision-making approach to evaluate the user satisfaction on services in academic digital libraries
Academic libraries play a significant role in providing core services that include research, teaching and learning. Usersatisfaction is an important indicator for evaluating the performance of library service. This paper develops a methodfor measuring the user satisfaction in a group decision-making environment. First, the performance of service isevaluated by using questionnaire survey. The sc...
متن کاملA Systematic Review of Data Mining Applications in Digital Libraries
Purpose: Study aimed to identify the applications of data mining in the provision of services, collection and management of digital libraries. Methodology: This is an applied study in terms of purpose and in terms of method is qualitative research that have been done by systematic review method. For this purpose, articles have been obtained by searching databases of Springer, Emerald, ProQuest,...
متن کاملبررسی میزان رعایت معیارهای ارزیابی رابط کاربر در صفحات وب فارسی کتابخانه‌های دیجیتالی خودساخته و خریداری شده در ایران
Purpose: Concerning digital libraries, interaction between user and system is among major issues for using library software. Therefore, finding appropriate software for this purpose is of high importance. This study aims to evaluate and analyze the criteria related to user interface in Farsi web pages of self-made and purchased digital libraries in Iran. Methodology: This is an applied and eva...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007